Development a mathematical model for the software security testing first stage

This paper reports an analysis of the software (SW) safety testing techniques, as well models and methods for identifying vulnerabilities. An issue has been revealed related to reasoned selection modeling approaches at different stages process identification its vulnerabilities, which reduces accuracy results obtained. Two steps in vulnerabilities have identified. A mathematical model built preparing security testing, differs from known ones by a theoretically sound choice moment-generating functions when describing transitions state state. In addition, takes into consideration capabilities risks source code verification phase cryptographic other ways protect data. These features generally improve reduce input uncertainty second testing. advanced compliance algorithm developed, with distinctive feature laws distribution parameters that describe individual state-to-state branches Graphical Evaluation Review Technique networks (GERT-networks). GERT-network developed prepare checking data protection developed. graphic-analytical GERT first The expressions reported this could be used devise preliminary recommendations possible effectiveness algorithms